clause set造句
例句與造句
- method extraction based on reachability tree of pr t net for horn clauses set
網(wǎng)可達(dá)樹(shù)的方案求解 - together we prove that generalized paramodulation is generalized complete when used with generalized resolution for e-unsatisfied clause set
接著給出廣義調(diào)解的有效性證明，然后證明廣義調(diào)解和廣義歸結(jié)的聯(lián)合使用對(duì)e-恒假的子句集是廣義完備的。 - after that we prove the soundness of the paramodulation in bofl . and then we prove that paramodulation is generalized complete when used with resolution for 2e-unsatisfied clause set
然后證明調(diào)解的有效性，證明在bofl中調(diào)解法和歸結(jié)法的結(jié)合對(duì)e-恒假的子句集是廣義完備的。 - whoever wants him most will have to dig deep in their pockets for the rapidly rising flamengo star, who has a contract with the club until 2012 with a buyout clause set at 30m euro
不過(guò)任何希望買(mǎi)這名弗拉門(mén)戈新星的球隊(duì)都得好好挖掘下自己的錢(qián)包，因?yàn)檫@名球員和俱樂(lè)部的合同簽到了2012年，且合同里有一個(gè)3000萬(wàn)歐元的無(wú)條件轉(zhuǎn)會(huì)價(jià)格限定。 - so the paramodulation can be used in generalized clause set . the advantage of the generalized clause set is that it can avoid abound of redundancy and make describing problem more natural . this thesis proposes the generalized paramodulation in bofl and proves the soundness of it
這樣可以將調(diào)解法用于一種非子句形式的公式集??廣義子句上，從而不僅可以避免從一般的公式集到子句集的轉(zhuǎn)化過(guò)程所產(chǎn)生的大量符號(hào)冗余，同時(shí)也保持了對(duì)問(wèn)題描述的自然性。 - It's difficult to find clause set in a sentence. 用clause set造句挺難的
- so the paramodulation can be used in generalized clause set . the advantage of the generalized clause set is that it can avoid abound of redundancy and make describing problem more natural . this thesis proposes the generalized paramodulation in bofl and proves the soundness of it
這樣可以將調(diào)解法用于一種非子句形式的公式集??廣義子句上，從而不僅可以避免從一般的公式集到子句集的轉(zhuǎn)化過(guò)程所產(chǎn)生的大量符號(hào)冗余，同時(shí)也保持了對(duì)問(wèn)題描述的自然性。 - once insurance time limit is affirmatory, without special account, do not grant to be changed at will commonly, but underwriter and insurant can set according to clauses or the change of actual condition, pose a change or stop insurance liability time limit, protect because of the unit cancels and applying for midway to retreat like insurant, be like what insurant nonperformance clauses sets to should use up each obligation again, the underwriter ends insurance liability since comprehensive announcement day
保險(xiǎn)期限一經(jīng)確定，無(wú)非凡原因，一般不予隨意變更，但是保險(xiǎn)人和被保險(xiǎn)人可以根據(jù)保險(xiǎn)條款規(guī)定或?qū)嶋H情況的變更，提出改變或終止保險(xiǎn)責(zé)任期限，如被保險(xiǎn)人因單位撤消而申請(qǐng)中途退保，又如被保險(xiǎn)人不履行保險(xiǎn)條款規(guī)定的應(yīng)盡各項(xiàng)義務(wù)，保險(xiǎn)人從全面通知日起終止保險(xiǎn)責(zé)任。 - in this thesis, the author just discusses horn clause sets, and gives how to transform horn clause set into neural network . go a step further, the author discusses how to get the learning algorithm of neural network that is equivalence with resolution principle, and proves completeness theorem and soundness theorem of the algorithm for resolution
本文將所討論的子句集限制在horn子句集上，給出了horn子句集轉(zhuǎn)化為一個(gè)神經(jīng)網(wǎng)絡(luò)模型的方法，進(jìn)j一步，對(duì)如何構(gòu)造該神經(jīng)網(wǎng)絡(luò)的學(xué)習(xí)算法來(lái)體現(xiàn)歸結(jié)過(guò)程進(jìn)行了討論，并證明了此學(xué)習(xí)算法用于歸結(jié)原理的可靠性和完備性。 - in this thesis, the author just discusses horn clause sets, and gives how to transform horn clause set into neural network . go a step further, the author discusses how to get the learning algorithm of neural network that is equivalence with resolution principle, and proves completeness theorem and soundness theorem of the algorithm for resolution
本文將所討論的子句集限制在horn子句集上，給出了horn子句集轉(zhuǎn)化為一個(gè)神經(jīng)網(wǎng)絡(luò)模型的方法，進(jìn)j一步，對(duì)如何構(gòu)造該神經(jīng)網(wǎng)絡(luò)的學(xué)習(xí)算法來(lái)體現(xiàn)歸結(jié)過(guò)程進(jìn)行了討論，并證明了此學(xué)習(xí)算法用于歸結(jié)原理的可靠性和完備性。